g:GrpSig. (goset)  PosetSig 

latex

Up	groups 1
Definitions of Statement	Mon, goset
Definitions	goset, t  T, x:A. B(x)
Lemmas	grp sig wf, dset of mon wf0